punch (for punching cards) - Alemán Inglés Diccionario